home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / C / Applications / SML⁄NJ 93+ / Documentation / MacDoc93+ / 930212 SMLeNJ editor < prev    next >
Encoding:
Text File  |  1993-02-12  |  5.4 KB  |  127 lines  |  [TEXT/NJML]

  1. SMLeNJ User Interface Documentation
  2. 12Feb93  e
  3.  
  4. When launching SMLeNJ, holding the option key down prevents loading 
  5. of the built in SML image, and presents a command line dialog. In 
  6. addition to the usual SML/NJ command line options (-r, -m, -g, etc.) 
  7. SMLeNJ supports:
  8.   -i <filename>       load the image specified by <filename>
  9.   -d <string>         use <string> as the filename prefix
  10. See also the file: "<date-number> SMLeNJ filenames"
  11.  
  12. Preferences
  13.  
  14. The Styles... dialog may be used to establish certain preferences.
  15. By default, these preferences are applied to the current window.
  16. When the New Windows checkbox is checked, and OK is clicked, the 
  17. preferences will be saved to a file in your Preferences folder in
  18. your System Folder, and will be applied to all newly opened windows 
  19. in this and subsequent sessions. The checkbox settings in the Find 
  20. dialog are also saved by the Styles dialog. The Tabs setting effects
  21. both how tab keystrokes are treated (see below) and how tab characters 
  22. are translated to spaces upon opening a file.
  23.  
  24. Editing
  25.  
  26. It is assumed that you are familiar with standard Macintosh editing 
  27. techniques. If not, you should consult your Getting Started disks and 
  28. Macintosh users' manuals.
  29.  
  30. Special Keys
  31.  
  32. If you have an extended keyboard, the following special keys are supported:
  33.       F1 - F4 - Undo, Cut, Copy, Paste
  34.      F5 - F15 - function keys (not used)
  35.          del> - delete forward, erase character after the insert point
  36.          home - scrolls text to the top of the edit buffer
  37.           end - scrolls text to the bottom of the edit buffer
  38.       page up - scrolls text up a page
  39.     page down - scrolls text down a page
  40. Note that these last four do not move the insert point, just scroll.
  41. The option key may be used with del> to delete to the end of the line.
  42.  
  43. On all keyboards:
  44.        delete - erase character before cursor position
  45.        return - insert new line and move to left margin
  46.           tab - see below
  47.         enter - evaluate the text to the left of the insert point, or
  48.                 evaluate the selected/text (non-Interaction Window buffer)
  49.                 the results are written to the Interaction Window
  50. Printable characters are inserted into the buffer.  These are characters 
  51. in the range of #x20 through #x7E.  Other characters are simply discarded.
  52.  
  53. Tab key
  54.  
  55. <tab> characters are never inserted into the text, rather <tab> inserts or
  56. removes space from the front of the current line as follows:
  57.  * C1 is the position of the first graphic character on the current line
  58.  * P1 is the position of the first graphic character on the previous line
  59.  * <option-tab>
  60.  *   inserts or removes space on the current line to align C1 with P1
  61.  * <tab>
  62.  *   if C1 < P1 then same as <option-tab>
  63.  *              else insert sufficient space on the current line
  64.  *                   to move C1 right to next tab stop
  65.  * <shift-tab>
  66.  *   if C1 > P1 then same as <option-tab>
  67.  *              else remove sufficient space on the current line
  68.  *                   to move C1 left to previous tab stop
  69.  * Notes: 
  70.  *  <tab> does not move the insert point or selection relative to the text
  71.  *  <tab> characters are never inserted into the text
  72.  
  73.  
  74. Arrow Keys
  75.  
  76. On all keyboards with arrow keys,
  77.             < - move cursor to the left one character
  78.             > - move cursor to the right one character
  79.             ^ - move cursor up one line
  80.             v - move cursor down one line
  81.  
  82. Arrow keys can be modified with shift, option, and command.
  83.  
  84. The shift key may be used to extend the text selection per Apple standards.  
  85. Each selection has an anchor end and an active end.  Generally, the active 
  86. end is the last end you moved, the anchor end doesn't move.  When the shift 
  87. key is help down, the selection's active end is moved by the arrow keys.
  88.  
  89. The option key may be used with the arrow keys to move the insert point 
  90. left or right by word, or up or down by page.  Shift and option together 
  91. may be used to move the active end of the selection left or right by words, 
  92. or up or down by pages.
  93.  
  94. The command key may be used with the arrow keys to move the insert point 
  95. left or right to the beginning or end of the line, or up or down to the 
  96. beginning or end of the text.  Shift and command together may be used to 
  97. move the active end of the selection to start or end of the line or text.
  98.  
  99. When shift, option, and command are held down together, the up or left 
  100. arrow will make the beginning of the selection the active end, and the 
  101. down or right arrow will make the end of the selection the active end.
  102.  
  103. Mouse
  104.  
  105. Mouse clicks
  106.     single - position insert point
  107.     double - select word
  108.     triple - select line
  109. Dragging after one of these clicks extends the selection by character, 
  110. word, or line repectively; the anchor point is original click, the active 
  111. end is the other end of the selection.  After a click-drag, the active end 
  112. can be moved with shift clicks or shift arrow keys.  The anchor and active 
  113. ends of the selection can be swapped with option+shift+click, or 
  114. option+shift+command up/down or left/right arrow keys.
  115.  
  116. Scrolling
  117.  
  118. Holding down command, shift, option, and control keys speeds up scrolling 
  119. when mousing in the arrows of the scroll bar. The more keys you hold down 
  120. the faster (logarithmically) it scrolls.
  121.  
  122. Editor Limitations
  123.  
  124. Edit text size is limited by memory space.  There may be a maximum of 32K 
  125. lines (not characters) of text.  The editor has been tested with files 
  126. several hundred Kbytes in size.
  127.